/LMAR=0/XLINE=3/FONT#0=METLI













␈↓ α∧␈↓␈↓ β(Deriving Programs From Logic Specifications










␈↓ α∧␈↓␈↓ ε↔by
␈↓ α∧␈↓␈↓ ¬=Ruth E. Davis
␈↓ α∧␈↓␈↓ ¬↔EECS Department
␈↓ α∧␈↓␈↓ ∧TUniversity of Santa Clara
␈↓ α∧␈↓␈↓ ∧tSanta Clara, Ca 95053